package tarantula.experiment.math;

import junit.framework.TestCase;

public class MathFailedTestsSimpleTests extends TestCase {
	public void test1() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double((-1.0d));
	    int var1 = org.apache.commons.math.util.MathUtils.compareTo((double)var0, (double)var0, (double)var0);
	    org.apache.commons.math.dfp.DfpField var2 = new org.apache.commons.math.dfp.DfpField(var1);
	    org.apache.commons.math.dfp.Dfp var3 = var2.getOne();
	    org.apache.commons.math.dfp.Dfp var4 = var3.remainder(var3);
	    org.apache.commons.math.dfp.Dfp var5 = var3.remainder(var4);
	    
	    // Checks the contract:  var5.equals(var5)
	    assertTrue("Contract failed: var5.equals(var5)", var5.equals(var5));

	  }

	  public void test2() throws Throwable {

	    org.apache.commons.math.complex.ComplexField var0 = org.apache.commons.math.complex.ComplexField.getInstance();
	    org.apache.commons.math.complex.Complex var1 = var0.getZero();
	    org.apache.commons.math.complex.Complex var2 = var1.sinh();
	    org.apache.commons.math.complex.Complex var3 = var0.getZero();
	    org.apache.commons.math.complex.Complex var4 = var1.sinh();
	    org.apache.commons.math.complex.Complex var5 = var1.add(var1);
	    org.apache.commons.math.complex.Complex var6 = var1.asin();
	    
	    // Checks the contract:  equals-hashcode on var1 and var6
	    assertTrue("Contract failed: equals-hashcode on var1 and var6", var1.equals(var6) ? var1.hashCode() == var6.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var2 and var6
	    assertTrue("Contract failed: equals-hashcode on var2 and var6", var2.equals(var6) ? var2.hashCode() == var6.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var3 and var6
	    assertTrue("Contract failed: equals-hashcode on var3 and var6", var3.equals(var6) ? var3.hashCode() == var6.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var4 and var6
	    assertTrue("Contract failed: equals-hashcode on var4 and var6", var4.equals(var6) ? var4.hashCode() == var6.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var5 and var6
	    assertTrue("Contract failed: equals-hashcode on var5 and var6", var5.equals(var6) ? var5.hashCode() == var6.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var6 and var1
	    assertTrue("Contract failed: equals-hashcode on var6 and var1", var6.equals(var1) ? var6.hashCode() == var1.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var6 and var2
	    assertTrue("Contract failed: equals-hashcode on var6 and var2", var6.equals(var2) ? var6.hashCode() == var2.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var6 and var3
	    assertTrue("Contract failed: equals-hashcode on var6 and var3", var6.equals(var3) ? var6.hashCode() == var3.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var6 and var4
	    assertTrue("Contract failed: equals-hashcode on var6 and var4", var6.equals(var4) ? var6.hashCode() == var4.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var6 and var5
	    assertTrue("Contract failed: equals-hashcode on var6 and var5", var6.equals(var5) ? var6.hashCode() == var5.hashCode() : true);

	  }

	  public void test3() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double(0.0d);
	    org.apache.commons.math.complex.Complex var1 = org.apache.commons.math.complex.ComplexUtils.polar2Complex((double)var0, (double)var0);
	    org.apache.commons.math.complex.Complex var2 = var1.cos();
	    org.apache.commons.math.complex.Complex var3 = var1.cosh();
	    
	    // Checks the contract:  equals-hashcode on var2 and var3
	    assertTrue("Contract failed: equals-hashcode on var2 and var3", var2.equals(var3) ? var2.hashCode() == var3.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var3 and var2
	    assertTrue("Contract failed: equals-hashcode on var3 and var2", var3.equals(var2) ? var3.hashCode() == var2.hashCode() : true);

	  }

	  public void test4() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double((-1.0d));
	    double[] var1 = new double[] { var0};
	    org.apache.commons.math.linear.OpenMapRealVector var2 = new org.apache.commons.math.linear.OpenMapRealVector(var1);
	    int var3 = var2.getDimension();
	    java.lang.Double var4 = new java.lang.Double(0.0d);
	    double[] var5 = new double[] { var0, var4, var0};
	    org.apache.commons.math.linear.ArrayRealVector var6 = new org.apache.commons.math.linear.ArrayRealVector(var5);
	    java.lang.Double var7 = new java.lang.Double(100.0d);
	    org.apache.commons.math.linear.RealVector var8 = var6.mapPowToSelf((double)var7);
	    org.apache.commons.math.linear.ArrayRealVector var9 = new org.apache.commons.math.linear.ArrayRealVector(var3, var0);
	    org.apache.commons.math.linear.ArrayRealVector var10 = new org.apache.commons.math.linear.ArrayRealVector(var5);
	    org.apache.commons.math.linear.RealVector var11 = var10.mapDivide((double)var0);
	    org.apache.commons.math.linear.RealVector var12 = var9.projection((org.apache.commons.math.linear.RealVector)var2);
	    
	    // Checks the contract:  equals-hashcode on var8 and var11
	    assertTrue("Contract failed: equals-hashcode on var8 and var11", var8.equals(var11) ? var8.hashCode() == var11.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var11 and var8
	    assertTrue("Contract failed: equals-hashcode on var11 and var8", var11.equals(var8) ? var11.hashCode() == var8.hashCode() : true);

	  }

	  public void test5() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double((-1.0d));
	    int var1 = org.apache.commons.math.util.MathUtils.compareTo((double)var0, (double)var0, (double)var0);
	    org.apache.commons.math.dfp.DfpField var2 = new org.apache.commons.math.dfp.DfpField(var1);
	    org.apache.commons.math.dfp.Dfp var3 = var2.getOne();
	    org.apache.commons.math.dfp.Dfp var4 = var3.remainder(var3);
	    org.apache.commons.math.dfp.Dfp var5 = org.apache.commons.math.dfp.DfpMath.log(var4);
	    
	    // Checks the contract:  var5.equals(var5)
	    assertTrue("Contract failed: var5.equals(var5)", var5.equals(var5));

	  }

	  public void test6() throws Throwable {

	    org.apache.commons.math.complex.ComplexField var0 = org.apache.commons.math.complex.ComplexField.getInstance();
	    org.apache.commons.math.complex.Complex var1 = var0.getZero();
	    org.apache.commons.math.complex.Complex var2 = var1.sinh();
	    org.apache.commons.math.complex.Complex var3 = var1.asin();
	    
	    // Checks the contract:  equals-hashcode on var1 and var3
	    assertTrue("Contract failed: equals-hashcode on var1 and var3", var1.equals(var3) ? var1.hashCode() == var3.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var2 and var3
	    assertTrue("Contract failed: equals-hashcode on var2 and var3", var2.equals(var3) ? var2.hashCode() == var3.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var3 and var1
	    assertTrue("Contract failed: equals-hashcode on var3 and var1", var3.equals(var1) ? var3.hashCode() == var1.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var3 and var2
	    assertTrue("Contract failed: equals-hashcode on var3 and var2", var3.equals(var2) ? var3.hashCode() == var2.hashCode() : true);

	  }

	  public void test7() throws Throwable {

	    org.apache.commons.math.complex.ComplexField var0 = org.apache.commons.math.complex.ComplexField.getInstance();
	    org.apache.commons.math.complex.Complex var1 = var0.getZero();
	    org.apache.commons.math.complex.Complex var2 = var1.conjugate();
	    
	    // Checks the contract:  equals-hashcode on var1 and var2
	    assertTrue("Contract failed: equals-hashcode on var1 and var2", var1.equals(var2) ? var1.hashCode() == var2.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var2 and var1
	    assertTrue("Contract failed: equals-hashcode on var2 and var1", var2.equals(var1) ? var2.hashCode() == var1.hashCode() : true);

	  }

	  public void test8() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double((-1.0d));
	    int var1 = org.apache.commons.math.util.MathUtils.compareTo((double)var0, (double)var0, (double)var0);
	    org.apache.commons.math.dfp.DfpField var2 = new org.apache.commons.math.dfp.DfpField(var1);
	    org.apache.commons.math.dfp.Dfp var3 = var2.getOne();
	    org.apache.commons.math.dfp.Dfp var4 = var3.subtract(var3);
	    org.apache.commons.math.dfp.Dfp var5 = var4.divide((int)var1);
	    
	    // Checks the contract:  var5.equals(var5)
	    assertTrue("Contract failed: var5.equals(var5)", var5.equals(var5));

	  }

	  public void test9() throws Throwable {

	    org.apache.commons.math.complex.ComplexField var0 = org.apache.commons.math.complex.ComplexField.getInstance();
	    org.apache.commons.math.complex.Complex var1 = var0.getZero();
	    org.apache.commons.math.complex.Complex var2 = var1.exp();
	    org.apache.commons.math.complex.Complex var3 = var1.cos();
	    org.apache.commons.math.complex.Complex var4 = var1.add(var1);
	    
	    // Checks the contract:  equals-hashcode on var2 and var3
	    assertTrue("Contract failed: equals-hashcode on var2 and var3", var2.equals(var3) ? var2.hashCode() == var3.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var3 and var2
	    assertTrue("Contract failed: equals-hashcode on var3 and var2", var3.equals(var2) ? var3.hashCode() == var2.hashCode() : true);

	  }

	  public void test10() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double(0.0d);
	    org.apache.commons.math.complex.Complex var1 = org.apache.commons.math.complex.ComplexUtils.polar2Complex((double)var0, (double)var0);
	    org.apache.commons.math.complex.Complex var2 = var1.cos();
	    org.apache.commons.math.complex.Complex var3 = var1.cosh();
	    
	    // Checks the contract:  equals-hashcode on var2 and var3
	    assertTrue("Contract failed: equals-hashcode on var2 and var3", var2.equals(var3) ? var2.hashCode() == var3.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var3 and var2
	    assertTrue("Contract failed: equals-hashcode on var3 and var2", var3.equals(var2) ? var3.hashCode() == var2.hashCode() : true);

	  }

	  public void test11() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double((-1.0d));
	    java.lang.Double var1 = new java.lang.Double(0.0d);
	    double[] var2 = new double[] { var0, var1, var0};
	    org.apache.commons.math.linear.ArrayRealVector var3 = new org.apache.commons.math.linear.ArrayRealVector(var2);
	    org.apache.commons.math.linear.ArrayRealVector var4 = new org.apache.commons.math.linear.ArrayRealVector(var2);
	    java.lang.Double var5 = new java.lang.Double(100.0d);
	    org.apache.commons.math.linear.RealVector var6 = var4.mapPowToSelf((double)var5);
	    org.apache.commons.math.linear.RealVector var7 = var3.mapDivide((double)var0);
	    boolean var8 = var3.equals((java.lang.Object)var0);
	    
	    // Checks the contract:  equals-hashcode on var6 and var7
	    assertTrue("Contract failed: equals-hashcode on var6 and var7", var6.equals(var7) ? var6.hashCode() == var7.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var7 and var6
	    assertTrue("Contract failed: equals-hashcode on var7 and var6", var7.equals(var6) ? var7.hashCode() == var6.hashCode() : true);

	  }

	  public void test12() throws Throwable {

	    org.apache.commons.math.complex.ComplexField var0 = org.apache.commons.math.complex.ComplexField.getInstance();
	    org.apache.commons.math.complex.Complex var1 = var0.getZero();
	    org.apache.commons.math.complex.Complex var2 = var1.sinh();
	    org.apache.commons.math.complex.Complex var3 = var1.conjugate();
	    
	    // Checks the contract:  equals-hashcode on var1 and var3
	    assertTrue("Contract failed: equals-hashcode on var1 and var3", var1.equals(var3) ? var1.hashCode() == var3.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var2 and var3
	    assertTrue("Contract failed: equals-hashcode on var2 and var3", var2.equals(var3) ? var2.hashCode() == var3.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var3 and var1
	    assertTrue("Contract failed: equals-hashcode on var3 and var1", var3.equals(var1) ? var3.hashCode() == var1.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var3 and var2
	    assertTrue("Contract failed: equals-hashcode on var3 and var2", var3.equals(var2) ? var3.hashCode() == var2.hashCode() : true);

	  }

	  public void test13() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double((-1.0d));
	    double[] var1 = new double[] { var0};
	    org.apache.commons.math.linear.OpenMapRealVector var2 = new org.apache.commons.math.linear.OpenMapRealVector(var1);
	    java.lang.Double var3 = new java.lang.Double(0.0d);
	    double[] var4 = new double[] { var0, var3, var0};
	    org.apache.commons.math.linear.ArrayRealVector var5 = new org.apache.commons.math.linear.ArrayRealVector(var4);
	    org.apache.commons.math.linear.RealVector var6 = var5.mapDivide((double)var0);
	    java.lang.Double var7 = new java.lang.Double(100.0d);
	    org.apache.commons.math.linear.RealVector var8 = var5.mapPowToSelf((double)var7);
	    org.apache.commons.math.linear.RealVector var9 = var2.mapPow((double)var0);
	    
	    // Checks the contract:  equals-hashcode on var6 and var8
	    assertTrue("Contract failed: equals-hashcode on var6 and var8", var6.equals(var8) ? var6.hashCode() == var8.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var8 and var6
	    assertTrue("Contract failed: equals-hashcode on var8 and var6", var8.equals(var6) ? var8.hashCode() == var6.hashCode() : true);

	  }

	  public void test14() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double((-1.0d));
	    int var1 = org.apache.commons.math.util.MathUtils.compareTo((double)var0, (double)var0, (double)var0);
	    org.apache.commons.math.dfp.DfpField var2 = new org.apache.commons.math.dfp.DfpField(var1);
	    org.apache.commons.math.dfp.Dfp var3 = var2.getSqr2();
	    org.apache.commons.math.dfp.Dfp var4 = org.apache.commons.math.dfp.DfpMath.acos(var3);
	    
	    // Checks the contract:  var4.equals(var4)
	    assertTrue("Contract failed: var4.equals(var4)", var4.equals(var4));

	  }

	  public void test15() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double((-1.0d));
	    int var1 = org.apache.commons.math.util.MathUtils.compareTo((double)var0, (double)var0, (double)var0);
	    org.apache.commons.math.dfp.DfpField var2 = new org.apache.commons.math.dfp.DfpField(var1);
	    org.apache.commons.math.dfp.Dfp var3 = var2.getZero();
	    double[] var4 = new double[] { var0, var0, var0};
	    org.apache.commons.math.linear.ArrayRealVector var5 = new org.apache.commons.math.linear.ArrayRealVector(var4);
	    int var6 = var5.getMaxIndex();
	    boolean var7 = org.apache.commons.math.util.MathUtils.equalsIncludingNaN((double)var0, (double)var0, (double)var0);
	    org.apache.commons.math.stat.descriptive.MultivariateSummaryStatistics var8 = new org.apache.commons.math.stat.descriptive.MultivariateSummaryStatistics(var6, var7);
	    java.lang.String var9 = var8.toString();
	    org.apache.commons.math.dfp.Dfp var10 = var2.newDfp(var9);
	    
	    // Checks the contract:  equals-hashcode on var3 and var10
	    assertTrue("Contract failed: equals-hashcode on var3 and var10", var3.equals(var10) ? var3.hashCode() == var10.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var10 and var3
	    assertTrue("Contract failed: equals-hashcode on var10 and var3", var10.equals(var3) ? var10.hashCode() == var3.hashCode() : true);

	  }

	  public void test16() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double(0.0d);
	    org.apache.commons.math.complex.Complex var1 = org.apache.commons.math.complex.ComplexUtils.polar2Complex((double)var0, (double)var0);
	    org.apache.commons.math.complex.ComplexField var2 = org.apache.commons.math.complex.ComplexField.getInstance();
	    org.apache.commons.math.complex.Complex var3 = var2.getZero();
	    org.apache.commons.math.complex.Complex var4 = var1.subtract(var1);
	    org.apache.commons.math.complex.Complex var5 = var1.sinh();
	    org.apache.commons.math.complex.Complex var6 = var1.asin();
	    
	    // Checks the contract:  equals-hashcode on var1 and var6
	    assertTrue("Contract failed: equals-hashcode on var1 and var6", var1.equals(var6) ? var1.hashCode() == var6.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var3 and var6
	    assertTrue("Contract failed: equals-hashcode on var3 and var6", var3.equals(var6) ? var3.hashCode() == var6.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var4 and var6
	    assertTrue("Contract failed: equals-hashcode on var4 and var6", var4.equals(var6) ? var4.hashCode() == var6.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var5 and var6
	    assertTrue("Contract failed: equals-hashcode on var5 and var6", var5.equals(var6) ? var5.hashCode() == var6.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var6 and var1
	    assertTrue("Contract failed: equals-hashcode on var6 and var1", var6.equals(var1) ? var6.hashCode() == var1.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var6 and var3
	    assertTrue("Contract failed: equals-hashcode on var6 and var3", var6.equals(var3) ? var6.hashCode() == var3.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var6 and var4
	    assertTrue("Contract failed: equals-hashcode on var6 and var4", var6.equals(var4) ? var6.hashCode() == var4.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var6 and var5
	    assertTrue("Contract failed: equals-hashcode on var6 and var5", var6.equals(var5) ? var6.hashCode() == var5.hashCode() : true);

	  }

	  public void test17() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double(0.0d);
	    org.apache.commons.math.complex.Complex var1 = org.apache.commons.math.complex.ComplexUtils.polar2Complex((double)var0, (double)var0);
	    org.apache.commons.math.complex.Complex var2 = var1.cos();
	    org.apache.commons.math.complex.Complex var3 = var1.exp();
	    org.apache.commons.math.complex.Complex var4 = var1.exp();
	    org.apache.commons.math.complex.Complex var5 = var1.multiply(var1);
	    
	    // Checks the contract:  equals-hashcode on var2 and var3
	    assertTrue("Contract failed: equals-hashcode on var2 and var3", var2.equals(var3) ? var2.hashCode() == var3.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var2 and var4
	    assertTrue("Contract failed: equals-hashcode on var2 and var4", var2.equals(var4) ? var2.hashCode() == var4.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var3 and var2
	    assertTrue("Contract failed: equals-hashcode on var3 and var2", var3.equals(var2) ? var3.hashCode() == var2.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var4 and var2
	    assertTrue("Contract failed: equals-hashcode on var4 and var2", var4.equals(var2) ? var4.hashCode() == var2.hashCode() : true);

	  }

	  public void test18() throws Throwable {

	    org.apache.commons.math.complex.ComplexField var0 = org.apache.commons.math.complex.ComplexField.getInstance();
	    org.apache.commons.math.complex.Complex var1 = var0.getZero();
	    org.apache.commons.math.complex.Complex var2 = var0.getZero();
	    org.apache.commons.math.complex.Complex var3 = var1.conjugate();
	    
	    // Checks the contract:  equals-hashcode on var1 and var3
	    assertTrue("Contract failed: equals-hashcode on var1 and var3", var1.equals(var3) ? var1.hashCode() == var3.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var2 and var3
	    assertTrue("Contract failed: equals-hashcode on var2 and var3", var2.equals(var3) ? var2.hashCode() == var3.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var3 and var1
	    assertTrue("Contract failed: equals-hashcode on var3 and var1", var3.equals(var1) ? var3.hashCode() == var1.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var3 and var2
	    assertTrue("Contract failed: equals-hashcode on var3 and var2", var3.equals(var2) ? var3.hashCode() == var2.hashCode() : true);

	  }
}
